- algebraically complete model
- Математика: алгебраически полная модель
Универсальный англо-русский словарь. Академик.ру. 2011.
algebraically complete model
Смотреть что такое "algebraically complete model" в других словарях:
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
Model complete theory — In model theory, a first order theory is called model complete if every embedding of models is an elementary embedding. Equivalently, every first order formula is equivalent to a universal formula. This notion was introduced by Abraham Robinson.… … Wikipedia
Complete theory — In mathematical logic, a theory is complete if it is a maximal consistent set of sentences, i.e., if it is consistent, and none of its proper extensions is consistent. For theories in logics which contain classical propositional logic, this is… … Wikipedia
Type (model theory) — In model theory and related areas of mathematics, a type is a set of first order formulas in a language L with free variables x1, x2,…, xn which are true of a sequence of elements of an L structure . Loosely speaking, types describe possible… … Wikipedia
Quasi-algebraically closed field — In mathematics, a field F is called quasi algebraically closed (or C1) if for every non constant homogeneous polynomial P over F has a non trivial zero provided the number of its variables is more than its degree. In other words, if P is a non… … Wikipedia
P-adic quantum mechanics — One may compute the energy levels for a potential well like this one.[note 1] P adic quantum mechanics is a relatively recent approach to understanding the nature of fundamental physics. It is the application of p adic analysis to quantum… … Wikipedia
Differentially closed field — In mathematics, a differential field K is differentially closed if every finite system of differential equations with a solution in some differential field extending K already has a solution in K. This concept was introduced by Robinson (1959).… … Wikipedia
List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… … Wikipedia
Morley's categoricity theorem — Vaught s test redirects here. Not to be confused with the Tarski–Vaught test. Categorical theory redirects here. Not to be confused with Category Theory. In model theory, a branch of mathematical logic, a theory is κ categorical (or categorical… … Wikipedia
Real closed field — In mathematics, a real closed field is a field F in which any of the following equivalent conditions are true:#There is a total order on F making it an ordered field such that, in this ordering, every positive element of F is a square in F and… … Wikipedia
Stable theory — For differential equations see Stability theory. In model theory, a complete theory is called stable if it does not have too many types. One goal of classification theory is to divide all complete theories into those whose models can be… … Wikipedia
